Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization
نویسندگان
چکیده
This paper presents a case study on the combined use of different tools and techniques for the validation and evaluation, from the early stages of the design, of a fault tolerant software mechanism named distributed synchronization The mechanism has been specified using UML state charts and sequence diagrams. A number of Stochastic Well-formed Nets (SWN) models have been derived from the specifications: they have been composed using the tool algebra, and the resulting model has been model-checked using the PROD tool for temporal logic properties, thanks to a GreatSPN-to-PROD translator. The quantitative analysis has been performed using the SWN solvers of the GreatSPN tool.
منابع مشابه
Software-based Fault-tolerant Clock Synchronization for Distributed Unix Environments Software-based Fault-tolerant Clock Synchronization for Distributed Unix Environments
| Fault-tolerant clock synchronization is often used in distributed systems with requirements such as close interaction between its components, measurements of elapsed time and ordering of events in the system. Diierent implementation approaches can be used to achieve fault-tolerant clock synchronization, depending on criteria such as performance, cost and availability of hardware and operating...
متن کاملA Distributed Real - Time System 1
This chapter presents an overview of the software environment of HARTS, a distributed real-time system being developed in the Real-Time Computing Laboratory, the University of Michigan. The environment is comprised of an operating system called HARTOS and three evaluation tools. In addition to the usual non-real-time services like remote procedure calls and naming, HARTOS provides services nece...
متن کاملA Unified Approach for Simulation and Experimental Evaluation of Fault-Tolerant Distributed Systems
This paper1 surveys our framework for simulation and experimental evaluation of round-based clock synchronization algorithms in fault-tolerant distributed real-time systems. Developed in our project SynUTC, our toolkit is based upon a generic architecture that incorporates either real network controllers and clock devices or, alternatively, their simulated counterparts. Despite the higher desig...
متن کاملEvaluation of Fault Tolerant Mobile Agents in Distributed Systems
The reliable execution of a mobile agent is a very important design issue to build a mobile agent system and many fault-tolerant schemes have been proposed. Hence, in this article, we present an evaluation of the per formance of the fault-tolerant schemes for the mobile agent environment. Our evaluation focuses on the checkpointing schemes and deals with the cooperating agents. We derive the Fa...
متن کاملFault-Tolerant Clock Synchronization in Environments with High Message Delay Variation
| Fault-tolerant clock synchronization is an important requirement in many distributed systems, especially in time-critical and safety-critical applications. Frequently, interactive convergence algorithms are used for fault-tolerant clock synchronization, providing advantages such as fully-distributed operation, low message exchange overhead and simplicity of implementation. This paper presents...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002